Feeds to Scour
SubscribedAll
Scoured 27759 posts in 57.0 ms
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·1d
🏗️Constructive Logic
Lil' Fun Langs' Guts
taylor.town·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Show HN: Turn – A compiled systems language for agentic computation
news.ycombinator.com·16h·
Discuss: Hacker News
🌐Protocol Synthesis
freest-lang/freest: A programming language for safe concurrency powered by context-free session types.
github.com·1d
🔗Functional Compilers
Beyond Pandas: Architecting High-Performance Python Pipelines
hackernoon.com·12h
🌊Stream Processing
State of Haskell 2025 results
discourse.haskell.org·13h·
Discuss: Lobsters, r/programming
🔗Functional Compilers
Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics
arxiv.org·1d
🌳Context free grammars
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
⚔️Lean Tactics
Generic methods arrive in Golang, but they weren't the top dev demand
theregister.com·16h
⬆️Lambda Lifting
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·16h
🔧Hardware Verification
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·10h·
Discuss: Hacker News
🧬Functional Programming
An AI Odyssey, Part 1: Correctness Conundrum
johndcook.com·6h
🔧Hardware Verification
Build Semantic Search with LLM Embeddings
machinelearningmastery.com·19h
🗂️Vector Search
Differential Logic • 15
inquiryintoinquiry.com·15h
⚔️Lean Theorem
Show HN: Sabela – A Reactive Notebook for Haskell
datahaskell.org·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
extended C*-algebra in nLab
ncatlab.org·13h
🧮Algebraic Archives
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
jmlr.org·21h
🧠Machine Learning
Claude code
underlap.org·1d
🔩Systems Programming
Right-sizes LLM models to your system's RAM, CPU, and GPU
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Cache Theory
PEP 827 – Type Manipulation
peps.python.org·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help